Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
111	Automation of Presentation Record Production Based on Rich-media Technology Using SNT Petri Nets Theory Ivo Martiník VŠB-Technical University of Ostrava, Faculty of Economics, Sokolská třída 33, Ostrava 1, Cz Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2015-03-20 07:10:01 Petri net Process calculus Models of computation Concurrency Diagrams
112	Microsoft PowerPoint - 07-PPT Process Calculus.ppt Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-01-07 00:42:30 Ciphertext indistinguishability RSA Probabilistic encryption Oblivious transfer IP Index of cryptography articles Blum–Goldwasser cryptosystem Cryptography Electronic commerce Public-key cryptography
113	OPPORTUNISTIC PROCESS IN PHYSICAL SYSTEMS Add to Reading List Source URL: www.synapse9.com Language: English - Date: 2013-09-10 08:27:42 Differential calculus Infinity Analysis Mathematics Mathematical analysis Derivative
114	THE SHAPE OF UNLABELED ROOTED RANDOM TREES MICHAEL DRMOTA AND BERNHARD GITTENBERGER Abstract. We consider the number of nodes in the levels of unlabelled rooted random trees and show that the stochastic process given by Add to Reading List Source URL: www.dmg.tuwien.ac.at Language: English - Date: 2010-03-08 06:26:08 Probability theory Continuous function Ordinary differential equations Analytic number theory Multivariable calculus Spectral theory of ordinary differential equations Harris chain Mathematical analysis Mathematics Characteristic function
115	TECS WeekProtocol Verification by the Inductive Method Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-01-05 04:09:40 Mathematical proof Model checking Mathematical induction IP Process calculus Model theory Mathematics Mathematical logic Logic
116	Specification of Web Services Sudhir Agarwal and Anupriya Ankolekar Institute of Applied Informatics and Formal Description Methods (AIFB), University of Karlsruhe (TH), Germany Transparency of business processes is cri Add to Reading List Source URL: www2006.org Language: English - Date: 2006-09-05 12:42:56 Process calculi Π-calculus Calculus Control theory Function Mathematics Theoretical computer science Applied mathematics
117	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi
118	Fast Mapping using the Log-Hough Transformation B. Giesler, R. Graf, R. Dillmann Institute for Process Control and Robotics (IPR) University of Karlsruhe DKarlsruhe, Germany Add to Reading List Source URL: www.lira.dist.unige.it Language: English - Date: 2011-12-07 18:07:15 Coordinate systems Algebra Image processing Computer vision Hough transform Vector calculus Polar coordinate system Cartesian coordinate system Hough Mathematics Geometry Analytic geometry
119	Variational approach for spatial point process intensity estimation Jean-François Coeurjolly1 and Jesper Møller2 1 Laboratory Jean Kuntzmann, Grenoble University, France , Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2012-09-24 05:12:35 Statistical theory Maximum likelihood Normal distribution Calculus of variations Statistics Estimation theory M-estimators
120	Summary of Stochastic Processes Kui Tang May 2013 Based on Lawler’s Introduction to Stochastic Processes, second edition, and course slides from Prof. Hongzhong Zhang. Add to Reading List Source URL: kui-tang.com Language: English Markov models Martingale theory Stochastic calculus Markov chain Markov property Itō calculus Martingale Continuous-time Markov process Wiener process Statistics Stochastic processes Markov processes